<?php
/**
 * Created by PhpStorm.
 * User: Administrator
 * Date: 2017/9/21
 * Time: 11:25
 */
if (file_exists("aaa.txt")){
    $a = file_get_contents("aaa.txt");
    echo $a;
}
function fun1(){
    echo "fun";


}

if (function_exists("fun")){
    fun();
}